English interface documents: translation to other languages